Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing
ISBN 13: 9781441920140
Format: Paperback (432 pages) Publisher: Springer Published: 19 Nov 2010
Save for later